Ueber eine bemerkung von G. W. Leibniz zu einem theorem in Newtons Principia mathematica

Das P-Grid-Overlay-Netzwerk: Von einem einfachen Prinzip zu einem komplexen System

Overlay-Netzwerke haben sich während der vergangenen Jahre zu einem neuen Paradigma im Bereich verteilter Systeme entwickelt. Sie erlauben es durch das Überlagern eines logischen Netzwerkes auf ein physikalisches Netzwerk, die Suche von verteilten Ressourcen unter Verwendung anwendungsspezifischer Schlüssel und Suchkriterien zu unterstützen. Dabei wird auf eine zentrale Koordination weitgehend ...

Von Use Cases zu Test Cases: Eine systematische Vorgehensweise

Anwendungsfälle (Use Cases) dienen oftmals nicht nur als Grundlage für den Systementwurf, sondern auch für Systemund Abnahmetests. Die Ableitung der Testfälle geschieht jedoch oft intuitiv und unsystematisch. In dieser Arbeit beschreiben wir eine Methode zur systematischen Erzeugung von Testfällen aus Anwendungsfällen. In einem ersten Schritt wird der semantische Bezug zwischen Use Case Element...

Bildungsstandards Informatik - von Wünschen zu Maßstäben für eine informatische Bildung

Die Kompetenzen einer informatischen Bildung der Schülerinnen und Schüler sind hinsichtlich der notwendigen Bestandteile noch nicht ausreichend genug charakterisiert. In diesem Kontext haben sich mit Unterstützung der Gesellschaft für Informatik e.V. Fachleute aus Schulen und Hochschulen zusammengefunden, um Standards für eine informatische Bildung auszuarbeiten. Der Beitrag stellt die Genese u...

Seminar 7: the Logic of Principia Mathematica

Volume 1 of Principia Mathematica, in which Russell and Whitehead set out their reduction of arithmetic to logic was published in 1910. Although the reduction adopts a conception of number very much like Frege’s, it is developed in a system of logic designed to avoid the paradox that defeated Frege. Avoiding it required giving up the idea that for every formula in the logical language, there is...

Eine Sprachverstehenskomponente in einem Konstruktionsszenario